es{-}first(${\it es}$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$first(es{-}pred?(${\it es}$);$e$)